This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...